1. Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings
Author: Foundations of Logic and Functional Programming Workshop, )6891, Trento, Italy(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Functional programming )Computer science(-- Congresses,، Logic, Symbolic and mathematical-- Congresses
Classification :
QA
76
.
6
.
F6858
1986
2. Logic program synthesis and transformation :
Author: T.P. Clement and K.-K. Lau, eds. ; Sponsored by the Association for Logic Programming and ALPUK.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programación lógica -- Congresos.,Programación lógica -- Congresos.
Classification :
QA76
.
63
T635
1992
3. Logic programming and Automated reasoning
Author: Logic programming and Automated reasoning
Library: Vali Asr University Central Library (Kerman)
Subject: Logic programming
Classification :
QA
76
.
73
.
L6
1992
4. Logic programming and Automated reasoning
Author: Logic programming and Automated reasoning
Library: Vali Asr University Central Library (Kerman)
Subject: Logic programming
Classification :
QA
76
.
73
.
L6
1992
